Multiset rewriting by multiset onstraint solving

Type Checking for a Multiset Rewriting Language

We enhance Gamma, a multiset rewriting language, with a notion of structured multiset. A structured multiset is a set of addresses satisfying speci c relations which can be used in the rewriting rules of the program. A type is de ned by a context-free graph grammar and a structured multiset belongs to a type T if its underlying set of addresses satis es the invariant expressed by the grammar de...

Petri Nets as Multiset Rewriting Systems in a Linear Framework Contents 1 Introduction 1 2 Multisets and Multiset Rewriting Systems 2

Maximally Parallel Multiset-Rewriting Systems: Browsing the Configurations

The aim of this research is to produce an algorithm for the software that would let a researcher to observe the evolution of maximally parallel multiset-rewriting systems with permitting and forbidding contexts, browsing the configuration space by following transitions like following hyperlinks in the World-Wide Web. The relationships of maximally parallel multiset-rewriting systems with other ...

Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding

We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriting with existential quantification and constrained multiset rewriting. We obtain ν-MSRs, where we rewrite multisets of atomic formulae, in which some names may be restricted. We prove that ν-MSRs are equivalent to a class of Pe...

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis

Formal analysis of security protocols is largely based on a set of assumptions commonly referred to asthe Dolev-Yao model. Two formalisms that state the basic assumptions of this model are related here:strand spaces and multiset rewriting with existential quantification. Strand spaces provide a simple andeconomical approach to analysis of completed protocol runs by emphasizing causa...